skolem function中文是什么意思

• 斯柯伦函数

• "function"中文翻译    n. 1.功能，官能，机能，作用。 2.〔常 pl.〕职 ...
• "skolem" 中文翻译 :    期柯伦
• "skolem范式" 中文翻译 :    skolem normal form
• "skolem函数" 中文翻译 :    skolem normal form
• "skolem悖论" 中文翻译 :    skolem's paradox
• "lwenheim-skolem定理" 中文翻译 :    lwenheimskolem theorem
• "skolem normal form" 中文翻译 :    skolem范式; skolem函数; 斯科伦范式
• "skolem standard form" 中文翻译 :    斯柯伦范式
• "a function" 中文翻译 :    绝对函数
• "and function" 中文翻译 :    “与”功能; 及函数; 与酌; 与作用
• "and to or function" 中文翻译 :    或作用; 与-或"作用
• "and-function" 中文翻译 :    "与"作用
• "function" 中文翻译 :    n. 1.功能，官能，机能，作用。 2.〔常 pl.〕职务，职责。 3.庆祝仪式；(盛大的)集会，宴会。 4.【数学】函数；与其他因素有密切关系的事。 The function of the ear is to listen. 耳的功能是听。 the function of education 教育的功能。 discharge one's functions 尽职。 the functions and powers of the National Congress 全国代表大会的职权。 a controllable function【火箭】遥控程序。 public [social] function招待会，文娱晚会，社交集会。 vital functions 生命机能。 vi. (器官等)活动，(机器等)运行，发挥作用。 function as teacher 担任教师。 a sofa functioning as a bed 兼当床用的沙发。 The lathe doesn't function well. 这台车床有毛病。 function digit [letter] 【计算机】操作数码[字码]。
• "function of" 中文翻译 :    function迭函数; function合成函数; 元函数
• "no function" 中文翻译 :    不动作（动作迟钝）
• "not function" 中文翻译 :    "非"作用; 非门; 非逻辑操作非功能; 逻辑"非"函数; 逻辑“非”函数
• "not-function" 中文翻译 :    非功能
• "or function" 中文翻译 :    "或"操作, "或"功能; “或”逻辑函数; 或功能
• "s function" 中文翻译 :    轴功能
• "t function" 中文翻译 :    统计系数于标准误差比率
• "function group function grouping" 中文翻译 :    功能群令
• "function of function rule" 中文翻译 :    复合函数法则
• "function, function key" 中文翻译 :    功能，功能键
• "function-defining function" 中文翻译 :    定义函数的函数
• "gamma function; γ function" 中文翻译 :    伽玛函数

• In this paper , a sufficient and necessary condition is given to judge whether skolem functions can be eliminated from the extracted procedure or not , and the extracting method is shown
  本文给出了是否能抽取出无skolem函数的程序的充分必要条件，同时给出了抽取算法。